Back Aussage (Logik)#einfache Aussagen - zusammengesetzte Aussagen German Atomic formula English Fórmula atómica Spanish فرمول اتمی Persian Formule atomique French נוסחה אטומית HE Atomska formula Croatian Formula atomica Italian 原子論理式 Japanese Atoom (logica) Dutch
Atomistinen sääntö eli atomistinen kaava on matemaattisessa logiikassa käytetty erikoistapaus kaavasta, jolla ei ole syvempiä sisärakenteita. Sitä kutsutaan lyhyesti myös atomiksi. Atomistisessa kaavassa ei siis ole alakaavoja sisällään. Atomit ovat siten yksinkertaisimpia hyvin-määriteltyjä logiikan kaavoja. Yhdistettyjä kaavoja voidaan muodostaa yhdistämällä atomistisia sääntöjä keskenään tyypillisillä logiikan konnektiiveilla.
Atomististen kaavojen tarkka muoto riippuu käsiteltävästä logiikasta. Esimerkiksi propositiologiikassa atomistiset kaavat ovat muuttujia, jotka viittaavat propositioihin. Predikaattilogiikassa atomit ovat predikaattisymboleita, joihin voi liittyä argumenttejakin. Tällöin kukin argumentti on luonteeltaan termi, joka voi edelleen sisältää atomistisia kaavoja. Prolog-ohjelmointikielessä on käytettävissä edellä kuvatut predikaattilogiikan piirteet, mutta niiden lisäksi vielä rekursio, peräytys ja samastus, joiden ansiosta Prologia voidaan pitää tyypillisenä Turing-vahvana ohjelmointikielenä.